Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
181	Local Bayesian Image Restoration Using Variational Methods and Gamma-Normal Distributions Add to Reading List Source URL: decsai.ugr.es Language: English - Date: 2009-11-13 06:22:00 Statistics Statistical theory Probability Probability distributions Bayesian statistics Gamma distribution Hyperprior Normal distribution Constructible universe Hyperparameter Prior probability Conjugate prior
182	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17 Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic
183	Introducing Financial Frictions and Unemployment into a Small Open Economy Model Lawrence J. Christiano∗ Mathias Trabandt† Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2007-09-04 11:31:45
184	The Power of Non-Uniform Wireless Power Magn´ us M. Halld´orsson∗ Stephan Holzer† Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:31 Digital audio Noise Signal-to-interference-plus-noise ratio Telecommunications NC Constructible universe
185	Combining observation models in dual exposure problems using the Kullback-Leibler Divergence Add to Reading List Source URL: decsai.ugr.es Language: English - Date: 2010-09-02 04:17:24 Statistics Probability Mathematical analysis Probability distributions Differential forms Thermodynamics Gamma distribution Closed and exact differential forms NC Constructible universe Mixture model Normal distribution
186	Relative constructivity∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:07 Constructible universe Combinatory logic FO
187	Bayesian Analysis, Number 4, pp. 631–652 Hierarchical Bayesian Modeling of Hitting Performance in Baseball Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2009-11-30 14:51:49 Statistics Probability Mathematical analysis Probability distributions Dirichlet distribution Mixture model Normal distribution Constructible universe Posterior predictive distribution Markov chain Relationships among probability distributions Beta distribution
188	Total Variation Super Resolution Using A Variational Approach Add to Reading List Source URL: decsai.ugr.es Language: English - Date: 2008-11-01 16:01:32 Statistics Mathematical analysis Probability distributions Probability Bayesian statistics Image processing Gamma distribution NC Variational Bayesian methods Hyperprior Bicubic interpolation Constructible universe
189	Introduction Results Maximal chains in second-order arithmetic Emanuele Frittaion Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-06-10 01:31:50 Mathematics Algebra Geometry Wellfoundedness Ordinal number Constructible universe Convex cone Height Hlder condition Axiom of limitation of size
190	c ACM, 2007. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Wor Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Mathematical analysis Analysis Constructible universe Expected value Ordinal number Distribution Probability distributions Beta distribution CurryHoward correspondence

UPDATE